- 双语例句 更多例句
对关于PROLOG的说明性语义和过程性语义之间的关系的观点提出商榷。
互联网摘选
The Explanative and Procedural Semantics of FLL Analysing Prolog from advantage of process
FLL语言的说明性语义与过程性语义依据过程性优势分析Prolog程序语言
互联网摘选
- 相关词组
- general semantics普通语义;
- logic semantics[计]逻辑语义学;
- fault semantics[计]故障语义学;
- body semantics体态语义学;手势语义学;
- query semantics[计]查询语义学;
- tree semantics[计]树状语义学;
- language semantics[计]语言语义学;
- dynamic semantics[计]动态语义学;
- lexical semantics词汇语义学;
- program semantics程序语义学;
- formal semantics形式语义学[程序];
- data semantics[计]数据语义学;
- final semantics[计]最终语义学;
- trace semantics[计]轨迹语义学;
- world semantics[计] 世界语义学;
- fixpoint semantics[计]定点语义学;
- verb semantics动词语义学;
- abstract semantics[计]抽象语义学;
- semantics of data[计] 数据语义学;
- procedural memory[医]程序记忆;
- 今日热词
- 热门搜索
- squid n.乌贼,墨鱼;鱿鱼;
- peasant n.农民;农夫;佃农;粗俗的人;
- excitement n.兴奋;激动;刺激;令人激动(或兴奋)的事
- representative n.代表;继任者;议员;类似物;adj.典型的;有代表性的;代议制的;相当[类似](另一种属)的;
- primary adj.首要的;初级的;初等教育的;n.初选;
- SQLite n.一个轻量级别数据库;嵌入式数据库;创建数据库;数据库支持
- ballet n.芭蕾舞;芭蕾舞剧;芭蕾舞团;
- Qoder 阿里发布的编程平台
- pulse n.脉搏;[无线电](电磁波等)脉动;活力;有节奏的跳动(或拍打);vi.(心脏)跳动;脉动;搏动;震动;
- eye n.眼睛;视力;眼状物;vt.定睛地看;注视;审视;细看;
- Irish adj.爱尔兰的,爱尔(人[语,文化…)的;n.爱尔兰人;爱尔兰语;
- immigration n.移居;移民局检查站;
